Éléments pour un examen critique des études neurodidactiques : point de vue de didacticiens des sciences et ouverture vers un dialogue

Qualité des langages de modélisation et des modèles : vers un catalogue des patrons collaboratifs

The quality of modeling languages and models as well as their evaluation are an important concern for the designer. Moreover, the proliferation of quality concepts’ definition and the large number of works that appear every day, require the structuring and the pooling of knowledge of this field. In this paper, we propose a collaboratif patterns’ system that capitalizes the knowledge on the qual...

Définition de la sémantique des clés dans le web sémantique : un point de vue théorique

Résumé : De nombreuses approches ont été définies pour permettre le liage automatique de sources de données RDF publiées sur le Web. Certaines de ces approches sont basées sur la sélection des plus petits ensembles de propriétés pertinentes pour comparer deux données. Ces ensembles forment des clés et cette notion est similaire aux clés définies pour les bases de données relationnelles. Dans ce...

Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri

Petri-nets are a simple formalism for modeling concurrent computation. Recently, they have emerged as a powerful tool for the modeling and analysis of biochemical reaction networks, bridging the gap between purely qualitative and quantitative models. These networks can be large and complex, which makes their study difficult and computationally challenging. In this paper, we focus on two structu...

Transcription et codage des imprimés de la Renaissance. Réflexions pour un inventaire des caractères anciens

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Un peu de théorie des nombres et de calcul formel au service de l'arithmétique des ordinateurs